Synthesis of supervisors for time-varying discrete event systems
نویسندگان
چکیده
منابع مشابه
On the Design of Adaptive Supervisors for Discrete Event Systems
The supervised control of complex event-driven Discrete Event Systems (DESs) such as those present in manufacturing systems, or the communication processes involved therein, continue to pose a challenge to system designers. To a certain extent this complexity can be reduced by applying existing modular control approaches to large-scale DES design. These solutions divide the system into differen...
متن کاملIncremental hierarchical construction of modular supervisors for discrete-event systems
ed models is often difficult and limits either the amount of abstraction, or the quality of results that can be achieved. Nonblocking and optimality of the control are specifically difficult to attain. Another problem is that often the full monolithic system must be built before the abstraction is performed. Another approach is to build a series of smaller component supervisors that each satisf...
متن کاملA General Approach for Synthesis of Supervisors for Partially-Observed Discrete-Event Systems
We revisit the synthesis of supervisors for partially-observed discrete-event systems from a new angle, based on the construction of a new structure called the All Inclusive Controller (or AIC). We consider control problems for safety specifications, where the legal language is a prefix-closed sublanguage of the system language. We define the AIC as a bipartite transition system that embeds all...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملChecking Delay-Robustness of Distributed Supervisors of Discrete-Event Systems
This paper identifies a property of delay-robustness in distributed supervisory control of discrete-event systems (DES) with communication delays. In previous work a distributed supervisory control problem has been investigated on the assumption that inter-agent communications take place with negligible delay. From an applications viewpoint it is desirable to relax this constraint and identify ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sba: Controle & Automação Sociedade Brasileira de Automatica
سال: 2004
ISSN: 0103-1759
DOI: 10.1590/s0103-17592004000400002